home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| MultiMate Document (document/multiMate)
| ext
| Unsupported |
| 1%
| dexvert
| WANG Integrated Word Processor (document/wangIWP)
| ext
| Unsupported |
| 1%
| dexvert
| Excellence! Document (document/excellenceDocument)
| ext
| Unsupported |
| 1%
| dexvert
| IBM DisplayWrite Document (document/ibmDisplayWriteDocument)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX 2e document text
| default
| |
| 99%
| file
| LaTeX document text
| default
| |
| 98%
| file
| C source, ASCII text
| default
| |
| 100%
| TrID
| LaTeX 2e document
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 6f 63 75 6d 65 6e | 74 63 6c 61 73 73 5b 31 |\documen|tclass[1|
|00000010| 31 70 74 2c 74 77 6f 73 | 69 64 65 5d 7b 72 65 70 |1pt,twos|ide]{rep|
|00000020| 6f 72 74 7d 0a 5c 75 73 | 65 70 61 63 6b 61 67 65 |ort}.\us|epackage|
|00000030| 7b 70 6c 7d 0a 5c 75 73 | 65 70 61 63 6b 61 67 65 |{pl}.\us|epackage|
|00000040| 7b 68 74 6d 6c 7d 0a 25 | 5c 6f 6e 65 66 69 6c 65 |{html}.%|\onefile|
|00000050| 0a 5c 73 6c 6f 70 70 79 | 0a 5c 6d 61 6b 65 69 6e |.\sloppy|.\makein|
|00000060| 64 65 78 0a 0a 23 69 66 | 64 65 66 20 4f 4e 4c 49 |dex..#if|def ONLI|
|00000070| 4e 45 0a 5c 75 73 65 70 | 61 63 6b 61 67 65 7b 74 |NE.\usep|ackage{t|
|00000080| 78 74 7d 0a 5c 75 73 65 | 70 61 63 6b 61 67 65 7b |xt}.\use|package{|
|00000090| 70 6c 6f 6e 6c 69 6e 65 | 7d 0a 5c 73 65 74 63 6f |plonline|}.\setco|
|000000a0| 75 6e 74 65 72 7b 73 65 | 63 6e 75 6d 64 65 70 74 |unter{se|cnumdept|
|000000b0| 68 7d 7b 33 7d 0a 5c 73 | 6c 6f 70 70 79 0a 23 65 |h}{3}.\s|loppy.#e|
|000000c0| 6c 73 65 0a 5c 75 73 65 | 70 61 63 6b 61 67 65 7b |lse.\use|package{|
|000000d0| 74 69 6d 65 73 7d 0a 5c | 75 73 65 70 61 63 6b 61 |times}.\|usepacka|
|000000e0| 67 65 7b 66 61 6e 63 79 | 68 65 61 64 69 6e 67 73 |ge{fancy|headings|
|000000f0| 7d 0a 5c 72 65 6e 65 77 | 63 6f 6d 6d 61 6e 64 7b |}.\renew|command{|
|00000100| 5c 72 75 6e 6e 69 6e 67 | 74 69 74 6c 65 7d 7b 53 |\running|title}{S|
|00000110| 57 49 2d 50 72 6f 6c 6f | 67 20 5c 76 65 72 73 69 |WI-Prolo|g \versi|
|00000120| 6f 6e 73 68 6f 72 74 7b | 7d 20 52 65 66 65 72 65 |onshort{|} Refere|
|00000130| 6e 63 65 20 4d 61 6e 75 | 61 6c 7d 0a 5c 68 65 61 |nce Manu|al}.\hea|
|00000140| 64 68 65 69 67 68 74 20 | 31 34 70 74 0a 5c 72 65 |dheight |14pt.\re|
|00000150| 6e 65 77 63 6f 6d 6d 61 | 6e 64 7b 5c 63 68 61 70 |newcomma|nd{\chap|
|00000160| 74 65 72 6d 61 72 6b 7d | 5b 31 5d 7b 5c 6d 61 72 |termark}|[1]{\mar|
|00000170| 6b 62 6f 74 68 7b 23 31 | 7d 7b 23 31 7d 7d 20 25 |kboth{#1|}{#1}} %|
|00000180| 20 72 65 6d 65 6d 62 65 | 72 20 63 68 61 70 74 65 | remembe|r chapte|
|00000190| 72 20 74 69 74 6c 65 0a | 5c 72 65 6e 65 77 63 6f |r title.|\renewco|
|000001a0| 6d 6d 61 6e 64 7b 5c 73 | 65 63 74 69 6f 6e 6d 61 |mmand{\s|ectionma|
|000001b0| 72 6b 7d 5b 31 5d 7b 5c | 6d 61 72 6b 72 69 67 68 |rk}[1]{\|markrigh|
|000001c0| 74 7b 5c 74 68 65 73 65 | 63 74 69 6f 6e 5c 20 23 |t{\these|ction\ #|
|000001d0| 31 7d 7d 0a 20 20 20 20 | 20 20 20 20 20 20 20 20 |1}}. | |
|000001e0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000001f0| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000200| 20 20 20 20 25 20 73 65 | 63 74 69 6f 6e 20 6e 75 | % se|ction nu|
|00000210| 6d 62 65 72 20 61 6e 64 | 20 74 69 74 6c 65 0a 5c |mber and| title.\|
|00000220| 6c 68 65 61 64 5b 5c 66 | 61 6e 63 79 70 6c 61 69 |lhead[\f|ancyplai|
|00000230| 6e 7b 7d 7b 5c 62 66 5c | 74 68 65 70 61 67 65 7d |n{}{\bf\|thepage}|
|00000240| 5d 7b 5c 66 61 6e 63 79 | 70 6c 61 69 6e 7b 7d 7b |]{\fancy|plain{}{|
|00000250| 5c 62 66 5c 72 69 67 68 | 74 6d 61 72 6b 7d 7d 0a |\bf\righ|tmark}}.|
|00000260| 5c 72 68 65 61 64 5b 5c | 66 61 6e 63 79 70 6c 61 |\rhead[\|fancypla|
|00000270| 69 6e 7b 7d 7b 5c 62 66 | 5c 6c 65 66 74 6d 61 72 |in{}{\bf|\leftmar|
|00000280| 6b 7d 5d 7b 5c 66 61 6e | 63 79 70 6c 61 69 6e 7b |k}]{\fan|cyplain{|
|00000290| 7d 7b 5c 62 66 5c 74 68 | 65 70 61 67 65 7d 7d 0a |}{\bf\th|epage}}.|
|000002a0| 5c 66 6f 6f 74 72 75 6c | 65 77 69 64 74 68 20 30 |\footrul|ewidth 0|
|000002b0| 2e 32 70 74 0a 5c 6c 66 | 6f 6f 74 5b 5c 74 69 6e |.2pt.\lf|oot[\tin|
|000002c0| 79 20 5c 72 75 6e 6e 69 | 6e 67 74 69 74 6c 65 5d |y \runni|ngtitle]|
|000002d0| 7b 7d 0a 5c 72 66 6f 6f | 74 5b 5d 7b 5c 74 69 6e |{}.\rfoo|t[]{\tin|
|000002e0| 79 20 5c 72 75 6e 6e 69 | 6e 67 74 69 74 6c 65 7d |y \runni|ngtitle}|
|000002f0| 0a 5c 63 66 6f 6f 74 7b | 7d 0a 5c 70 61 67 65 73 |.\cfoot{|}.\pages|
|00000300| 74 79 6c 65 7b 66 61 6e | 63 79 70 6c 61 69 6e 7d |tyle{fan|cyplain}|
|00000310| 0a 23 65 6e 64 69 66 0a | 0a 5c 6e 65 77 63 6f 6d |.#endif.|.\newcom|
|00000320| 6d 61 6e 64 7b 5c 76 6d | 61 6a 6f 72 7d 7b 32 7d |mand{\vm|ajor}{2}|
|00000330| 0a 5c 6e 65 77 63 6f 6d | 6d 61 6e 64 7b 5c 76 6d |.\newcom|mand{\vm|
|00000340| 69 6e 6f 72 7d 7b 39 7d | 0a 5c 6e 65 77 63 6f 6d |inor}{9}|.\newcom|
|00000350| 6d 61 6e 64 7b 5c 76 70 | 61 74 63 68 7d 7b 39 7d |mand{\vp|atch}{9}|
|00000360| 0a 5c 6e 65 77 63 6f 6d | 6d 61 6e 64 7b 5c 76 6d |.\newcom|mand{\vm|
|00000370| 6f 6e 74 68 7d 7b 4d 61 | 72 63 68 7d 0a 5c 6e 65 |onth}{Ma|rch}.\ne|
|00000380| 77 63 6f 6d 6d 61 6e 64 | 7b 5c 76 79 65 61 72 7d |wcommand|{\vyear}|
|00000390| 7b 31 39 39 38 7d 0a 0a | 5c 6e 65 77 63 6f 6d 6d |{1998}..|\newcomm|
|000003a0| 61 6e 64 7b 5c 76 65 72 | 73 69 6f 6e 73 68 6f 72 |and{\ver|sionshor|
|000003b0| 74 7d 7b 5c 76 6d 61 6a | 6f 72 2e 5c 76 6d 69 6e |t}{\vmaj|or.\vmin|
|000003c0| 6f 72 7d 0a 5c 6e 65 77 | 63 6f 6d 6d 61 6e 64 7b |or}.\new|command{|
|000003d0| 5c 76 65 72 73 69 6f 6e | 6c 6f 6e 67 7d 7b 5c 76 |\version|long}{\v|
|000003e0| 6d 61 6a 6f 72 2e 5c 76 | 6d 69 6e 6f 72 2e 5c 76 |major.\v|minor.\v|
|000003f0| 70 61 74 63 68 2c 20 5c | 76 6d 6f 6e 74 68 7e 5c |patch, \|vmonth~\|
|00000400| 76 79 65 61 72 7d 0a 5c | 72 65 6e 65 77 63 6f 6d |vyear}.\|renewcom|
|00000410| 6d 61 6e 64 7b 5c 61 72 | 61 62 69 63 64 61 79 7d |mand{\ar|abicday}|
|00000420| 7b 5c 76 65 72 73 69 6f | 6e 73 68 6f 72 74 7d 0a |{\versio|nshort}.|
|00000430| 0a 5c 74 69 74 6c 65 7b | 53 57 49 2d 50 72 6f 6c |.\title{|SWI-Prol|
|00000440| 6f 67 20 52 65 66 65 72 | 65 6e 63 65 20 4d 61 6e |og Refer|ence Man|
|00000450| 75 61 6c 7d 0a 5c 61 75 | 74 68 6f 72 7b 5c 65 6d |ual}.\au|thor{\em|
|00000460| 61 69 6c 5b 4a 61 6e 20 | 57 69 65 6c 65 6d 61 6b |ail[Jan |Wielemak|
|00000470| 65 72 5d 7b 6a 61 6e 40 | 73 77 69 2e 70 73 79 2e |er]{jan@|swi.psy.|
|00000480| 75 76 61 2e 6e 6c 7d 09 | 5c 5c 20 0a 09 44 65 70 |uva.nl}.|\\ ..Dep|
|00000490| 74 2e 20 6f 66 20 53 6f | 63 69 61 6c 20 53 63 69 |t. of So|cial Sci|
|000004a0| 65 6e 63 65 20 49 6e 66 | 6f 72 6d 61 74 69 63 73 |ence Inf|ormatics|
|000004b0| 20 28 53 57 49 29 09 5c | 5c 20 0a 09 20 20 20 20 | (SWI).\|\ .. |
|000004c0| 52 6f 65 74 65 72 73 74 | 72 61 61 74 20 31 35 2c |Roeterst|raat 15,|
|000004d0| 20 31 30 31 38 20 57 42 | 7e 7e 41 6d 73 74 65 72 | 1018 WB|~~Amster|
|000004e0| 64 61 6d 09 09 5c 5c 20 | 0a 09 09 20 20 20 20 54 |dam..\\ |... T|
|000004f0| 68 65 20 4e 65 74 68 65 | 72 6c 61 6e 64 73 09 09 |he Nethe|rlands..|
|00000500| 09 5c 5c 20 0a 09 09 54 | 65 6c 2e 20 28 2b 33 31 |.\\ ...T|el. (+31|
|00000510| 29 20 32 30 20 35 32 35 | 36 31 32 31 7d 0a 09 0a |) 20 525|6121}...|
|00000520| 5c 62 65 67 69 6e 7b 68 | 74 6d 6c 6f 6e 6c 79 7d |\begin{h|tmlonly}|
|00000530| 0a 5c 6d 61 6b 65 74 69 | 74 6c 65 0a 0a 5c 62 65 |.\maketi|tle..\be|
|00000540| 67 69 6e 7b 61 62 73 74 | 72 61 63 74 7d 0a 53 57 |gin{abst|ract}.SW|
|00000550| 49 2d 50 72 6f 6c 6f 67 | 20 69 73 20 61 20 50 72 |I-Prolog| is a Pr|
|00000560| 6f 6c 6f 67 20 69 6d 70 | 6c 65 6d 65 6e 74 61 74 |olog imp|lementat|
|00000570| 69 6f 6e 20 62 61 73 65 | 64 20 6f 6e 20 61 20 73 |ion base|d on a s|
|00000580| 75 62 73 65 74 20 6f 66 | 20 74 68 65 20 57 41 4d |ubset of| the WAM|
|00000590| 0a 28 57 61 72 72 65 6e | 20 41 62 73 74 72 61 63 |.(Warren| Abstrac|
|000005a0| 74 20 4d 61 63 68 69 6e | 65 20 5c 63 69 74 65 7b |t Machin|e \cite{|
|000005b0| 57 61 72 72 65 6e 3a 38 | 33 62 7d 29 2e 20 53 57 |Warren:8|3b}). SW|
|000005c0| 49 2d 50 72 6f 6c 6f 67 | 20 68 61 73 20 62 65 65 |I-Prolog| has bee|
|000005d0| 6e 0a 64 65 73 69 67 6e | 65 64 20 61 6e 64 20 69 |n.design|ed and i|
|000005e0| 6d 70 6c 65 6d 65 6e 74 | 65 64 20 73 75 63 68 20 |mplement|ed such |
|000005f0| 74 68 61 74 20 69 74 20 | 63 61 6e 20 65 61 73 69 |that it |can easi|
|00000600| 6c 79 20 62 65 20 6d 6f | 64 69 66 69 65 64 20 66 |ly be mo|dified f|
|00000610| 6f 72 0a 65 78 70 65 72 | 69 6d 65 6e 74 73 20 77 |or.exper|iments w|
|00000620| 69 74 68 20 6c 6f 67 69 | 63 20 70 72 6f 67 72 61 |ith logi|c progra|
|00000630| 6d 6d 69 6e 67 20 61 6e | 64 20 74 68 65 20 72 65 |mming an|d the re|
|00000640| 6c 61 74 69 6f 6e 20 62 | 65 74 77 65 65 6e 20 6c |lation b|etween l|
|00000650| 6f 67 69 63 0a 70 72 6f | 67 72 61 6d 6d 69 6e 67 |ogic.pro|gramming|
|00000660| 20 61 6e 64 20 6f 74 68 | 65 72 20 70 72 6f 67 72 | and oth|er progr|
|00000670| 61 6d 6d 69 6e 67 20 70 | 61 72 61 64 69 67 6d 73 |amming p|aradigms|
|00000680| 20 28 73 75 63 68 20 61 | 73 20 74 68 65 20 6f 62 | (such a|s the ob|
|00000690| 6a 65 63 74 0a 6f 72 69 | 65 6e 74 65 64 20 58 50 |ject.ori|ented XP|
|000006a0| 43 45 20 65 6e 76 69 72 | 6f 6e 6d 65 6e 74 20 5c |CE envir|onment \|
|000006b0| 63 69 74 65 7b 50 31 30 | 39 38 3a 43 31 2e 36 7d |cite{P10|98:C1.6}|
|000006c0| 29 2e 20 20 53 57 49 2d | 50 72 6f 6c 6f 67 20 68 |). SWI-|Prolog h|
|000006d0| 61 73 20 61 20 72 69 63 | 68 0a 73 65 74 20 6f 66 |as a ric|h.set of|
|000006e0| 20 62 75 69 6c 74 2d 69 | 6e 20 70 72 65 64 69 63 | built-i|n predic|
|000006f0| 61 74 65 73 20 61 6e 64 | 20 72 65 61 73 6f 6e 61 |ates and| reasona|
|00000700| 62 6c 65 20 70 65 72 66 | 6f 72 6d 61 6e 63 65 2c |ble perf|ormance,|
|00000710| 20 77 68 69 63 68 20 6d | 61 6b 65 73 20 69 74 0a | which m|akes it.|
|00000720| 70 6f 73 73 69 62 6c 65 | 20 74 6f 20 64 65 76 65 |possible| to deve|
|00000730| 6c 6f 70 20 73 75 62 73 | 74 61 6e 74 69 61 6c 20 |lop subs|tantial |
|00000740| 61 70 70 6c 69 63 61 74 | 69 6f 6e 73 20 69 6e 20 |applicat|ions in |
|00000750| 69 74 2e 20 20 54 68 65 | 20 63 75 72 72 65 6e 74 |it. The| current|
|00000760| 0a 76 65 72 73 69 6f 6e | 20 6f 66 66 65 72 73 20 |.version| offers |
|00000770| 61 20 6d 6f 64 75 6c 65 | 20 73 79 73 74 65 6d 2c |a module| system,|
|00000780| 20 67 61 72 62 61 67 65 | 20 63 6f 6c 6c 65 63 74 | garbage| collect|
|00000790| 69 6f 6e 20 61 6e 64 20 | 61 6e 20 69 6e 74 65 72 |ion and |an inter|
|000007a0| 66 61 63 65 20 74 6f 0a | 74 68 65 20 43 20 6c 61 |face to.|the C la|
|000007b0| 6e 67 75 61 67 65 2e 0a | 0a 54 68 69 73 20 64 6f |nguage..|.This do|
|000007c0| 63 75 6d 65 6e 74 20 67 | 69 76 65 73 20 61 6e 20 |cument g|ives an |
|000007d0| 6f 76 65 72 76 69 65 77 | 20 6f 66 20 74 68 65 20 |overview| of the |
|000007e0| 66 65 61 74 75 72 65 73 | 2c 20 73 79 73 74 65 6d |features|, system|
|000007f0| 20 6c 69 6d 69 74 73 20 | 61 6e 64 0a 62 75 69 6c | limits |and.buil|
|00000800| 74 2d 69 6e 20 70 72 65 | 64 69 63 61 74 65 73 2e |t-in pre|dicates.|
|00000810| 0a 5c 65 6e 64 7b 61 62 | 73 74 72 61 63 74 7d 0a |.\end{ab|stract}.|
|00000820| 0a 43 6f 70 79 72 69 67 | 68 74 20 5c 63 6f 70 79 |.Copyrig|ht \copy|
|00000830| 72 69 67 68 74 5c 20 31 | 39 39 30 2d 2d 5c 79 65 |right\ 1|990--\ye|
|00000840| 61 72 2c 20 55 6e 69 76 | 65 72 73 69 74 79 20 6f |ar, Univ|ersity o|
|00000850| 66 20 41 6d 73 74 65 72 | 64 61 6d 0a 5c 65 6e 64 |f Amster|dam.\end|
|00000860| 7b 68 74 6d 6c 6f 6e 6c | 79 7d 0a 0a 0a 5c 62 65 |{htmlonl|y}...\be|
|00000870| 67 69 6e 7b 64 6f 63 75 | 6d 65 6e 74 7d 0a 0a 5c |gin{docu|ment}..\|
|00000880| 62 65 67 69 6e 7b 74 69 | 74 6c 65 70 61 67 65 7d |begin{ti|tlepage}|
|00000890| 0a 0a 5c 6e 65 77 6c 65 | 6e 67 74 68 7b 5c 75 76 |..\newle|ngth{\uv|
|000008a0| 61 77 69 64 74 68 7d 0a | 5c 73 65 74 74 6f 77 69 |awidth}.|\settowi|
|000008b0| 64 74 68 7b 5c 75 76 61 | 77 69 64 74 68 7d 7b 5c |dth{\uva|width}{\|
|000008c0| 4c 41 52 47 45 20 55 6e | 69 76 65 72 73 69 74 79 |LARGE Un|iversity|
|000008d0| 20 6f 66 20 41 6d 73 74 | 65 72 64 61 6d 7d 0a 0a | of Amst|erdam}..|
|000008e0| 5c 6e 65 77 63 6f 6d 6d | 61 6e 64 7b 5c 75 76 61 |\newcomm|and{\uva|
|000008f0| 61 64 64 72 65 73 73 7d | 7b 25 0a 5c 70 61 72 62 |address}|{%.\parb|
|00000900| 6f 78 5b 62 5d 7b 5c 75 | 76 61 77 69 64 74 68 7d |ox[b]{\u|vawidth}|
|00000910| 7b 25 0a 20 20 20 20 5c | 62 65 67 69 6e 7b 63 65 |{%. \|begin{ce|
|00000920| 6e 74 65 72 7d 0a 09 5c | 4c 41 52 47 45 0a 09 20 |nter}..\|LARGE.. |
|00000930| 20 20 20 20 20 55 6e 69 | 76 65 72 73 69 74 79 20 | Uni|versity |
|00000940| 6f 66 20 41 6d 73 74 65 | 72 64 61 6d 09 09 09 5c |of Amste|rdam...\|
|00000950| 5c 5b 33 6d 6d 5d 0a 09 | 5c 73 6d 61 6c 6c 0a 09 |\[3mm]..|\small..|
|00000960| 44 65 70 74 2e 20 6f 66 | 20 53 6f 63 69 61 6c 20 |Dept. of| Social |
|00000970| 53 63 69 65 6e 63 65 20 | 49 6e 66 6f 72 6d 61 74 |Science |Informat|
|00000980| 69 63 73 20 28 53 57 49 | 29 09 5c 5c 25 0a 09 20 |ics (SWI|).\\%.. |
|00000990| 20 20 20 52 6f 65 74 65 | 72 73 74 72 61 61 74 20 | Roete|rstraat |
|000009a0| 31 35 2c 20 31 30 31 38 | 20 57 42 7e 7e 41 6d 73 |15, 1018| WB~~Ams|
|000009b0| 74 65 72 64 61 6d 09 09 | 5c 5c 25 0a 09 09 20 20 |terdam..|\\%... |
|000009c0| 20 20 54 68 65 20 4e 65 | 74 68 65 72 6c 61 6e 64 | The Ne|therland|
|000009d0| 73 09 09 09 5c 5c 25 0a | 09 09 54 65 6c 2e 20 28 |s...\\%.|..Tel. (|
|000009e0| 2b 33 31 29 20 32 30 20 | 35 32 35 36 31 32 31 0a |+31) 20 |5256121.|
|000009f0| 20 20 20 20 5c 65 6e 64 | 7b 63 65 6e 74 65 72 7d | \end|{center}|
|00000a00| 7d 7d 0a 0a 5c 6d 62 6f | 78 7b 7d 5c 76 73 70 61 |}}..\mbo|x{}\vspa|
|00000a10| 63 65 7b 2d 31 69 6e 7d | 0a 5c 70 61 72 62 6f 78 |ce{-1in}|.\parbox|
|00000a20| 7b 5c 74 65 78 74 77 69 | 64 74 68 7d 7b 25 0a 20 |{\textwi|dth}{%. |
|00000a30| 20 20 20 5c 6d 61 6b 65 | 62 6f 78 5b 5c 74 65 78 | \make|box[\tex|
|00000a40| 74 77 69 64 74 68 5d 7b | 25 0a 09 5c 55 76 41 7b |twidth]{|%..\UvA{|
|00000a50| 31 69 6e 7d 25 0a 09 5c | 68 66 69 6c 6c 25 0a 09 |1in}%..\|hfill%..|
|00000a60| 5c 72 61 69 73 65 62 6f | 78 7b 2d 31 32 70 74 7d |\raisebo|x{-12pt}|
|00000a70| 7b 5c 75 76 61 61 64 64 | 72 65 73 73 7d 0a 09 5c |{\uvaadd|ress}..\|
|00000a80| 68 66 69 6c 6c 25 0a 09 | 5c 53 57 49 7b 31 69 6e |hfill%..|\SWI{1in|
|00000a90| 7d 7d 0a 7d 0a 5c 76 66 | 69 6c 5c 76 66 69 6c 5c |}}.}.\vf|il\vfil\|
|00000aa0| 76 66 69 6c 0a 5c 62 65 | 67 69 6e 7b 63 65 6e 74 |vfil.\be|gin{cent|
|00000ab0| 65 72 7d 0a 09 7b 5c 48 | 75 67 65 20 5c 62 66 20 |er}..{\H|uge \bf |
|00000ac0| 53 57 49 2d 50 72 6f 6c | 6f 67 20 5c 76 65 72 73 |SWI-Prol|og \vers|
|00000ad0| 69 6f 6e 73 68 6f 72 74 | 09 5c 5c 5b 33 6d 6d 5d |ionshort|.\\[3mm]|
|00000ae0| 0a 09 20 5c 4c 41 52 47 | 45 20 52 65 66 65 72 65 |.. \LARG|E Refere|
|00000af0| 6e 63 65 20 4d 61 6e 75 | 61 6c 7d 09 09 5c 5c 5b |nce Manu|al}..\\[|
|00000b00| 33 6d 6d 5d 0a 20 20 20 | 20 20 20 20 20 7b 5c 69 |3mm]. | {\i|
|00000b10| 74 20 55 70 64 61 74 65 | 64 20 66 6f 72 20 76 65 |t Update|d for ve|
|00000b20| 72 73 69 6f 6e 20 5c 76 | 65 72 73 69 6f 6e 6c 6f |rsion \v|ersionlo|
|00000b30| 6e 67 7d 09 5c 5c 5b 31 | 2e 35 63 6d 5d 0a 09 7b |ng}.\\[1|.5cm]..{|
|00000b40| 5c 6c 61 72 67 65 20 5c | 69 74 20 4a 61 6e 20 57 |\large \|it Jan W|
|00000b50| 69 65 6c 65 6d 61 6b 65 | 72 7d 09 09 5c 5c 5b 37 |ielemake|r}..\\[7|
|00000b60| 6d 6d 5d 0a 09 7b 5c 6c | 61 72 67 65 20 6a 61 6e |mm]..{\l|arge jan|
|00000b70| 40 73 77 69 2e 70 73 79 | 2e 75 76 61 2e 6e 6c 7d |@swi.psy|.uva.nl}|
|00000b80| 0a 5c 65 6e 64 7b 63 65 | 6e 74 65 72 7d 0a 5c 76 |.\end{ce|nter}.\v|
|00000b90| 66 69 6c 0a 5c 62 65 67 | 69 6e 7b 71 75 6f 74 65 |fil.\beg|in{quote|
|00000ba0| 7d 0a 53 57 49 2d 50 72 | 6f 6c 6f 67 20 69 73 20 |}.SWI-Pr|olog is |
|00000bb0| 61 20 50 72 6f 6c 6f 67 | 20 69 6d 70 6c 65 6d 65 |a Prolog| impleme|
|00000bc0| 6e 74 61 74 69 6f 6e 20 | 62 61 73 65 64 20 6f 6e |ntation |based on|
|00000bd0| 20 61 20 73 75 62 73 65 | 74 20 6f 66 20 74 68 65 | a subse|t of the|
|00000be0| 20 57 41 4d 0a 28 57 61 | 72 72 65 6e 20 41 62 73 | WAM.(Wa|rren Abs|
|00000bf0| 74 72 61 63 74 20 4d 61 | 63 68 69 6e 65 20 5c 63 |tract Ma|chine \c|
|00000c00| 69 74 65 7b 57 61 72 72 | 65 6e 3a 38 33 62 7d 29 |ite{Warr|en:83b})|
|00000c10| 2e 20 53 57 49 2d 50 72 | 6f 6c 6f 67 20 68 61 73 |. SWI-Pr|olog has|
|00000c20| 20 62 65 65 6e 0a 64 65 | 73 69 67 6e 65 64 20 61 | been.de|signed a|
|00000c30| 6e 64 20 69 6d 70 6c 65 | 6d 65 6e 74 65 64 20 73 |nd imple|mented s|
|00000c40| 75 63 68 20 74 68 61 74 | 20 69 74 20 63 61 6e 20 |uch that| it can |
|00000c50| 65 61 73 69 6c 79 20 62 | 65 20 6d 6f 64 69 66 69 |easily b|e modifi|
|00000c60| 65 64 20 66 6f 72 0a 65 | 78 70 65 72 69 6d 65 6e |ed for.e|xperimen|
|00000c70| 74 73 20 77 69 74 68 20 | 6c 6f 67 69 63 20 70 72 |ts with |logic pr|
|00000c80| 6f 67 72 61 6d 6d 69 6e | 67 20 61 6e 64 20 74 68 |ogrammin|g and th|
|00000c90| 65 20 72 65 6c 61 74 69 | 6f 6e 20 62 65 74 77 65 |e relati|on betwe|
|00000ca0| 65 6e 20 6c 6f 67 69 63 | 0a 70 72 6f 67 72 61 6d |en logic|.program|
|00000cb0| 6d 69 6e 67 20 61 6e 64 | 20 6f 74 68 65 72 20 70 |ming and| other p|
|00000cc0| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 70 61 72 61 64 |rogrammi|ng parad|
|00000cd0| 69 67 6d 73 20 28 73 75 | 63 68 20 61 73 20 74 68 |igms (su|ch as th|
|00000ce0| 65 20 6f 62 6a 65 63 74 | 0a 6f 72 69 65 6e 74 65 |e object|.oriente|
|00000cf0| 64 20 58 50 43 45 20 65 | 6e 76 69 72 6f 6e 6d 65 |d XPCE e|nvironme|
|00000d00| 6e 74 20 5c 63 69 74 65 | 7b 50 31 30 39 38 3a 43 |nt \cite|{P1098:C|
|00000d10| 31 2e 36 7d 29 2e 20 20 | 53 57 49 2d 50 72 6f 6c |1.6}). |SWI-Prol|
|00000d20| 6f 67 20 68 61 73 20 61 | 20 72 69 63 68 0a 73 65 |og has a| rich.se|
|00000d30| 74 20 6f 66 20 62 75 69 | 6c 74 2d 69 6e 20 70 72 |t of bui|lt-in pr|
|00000d40| 65 64 69 63 61 74 65 73 | 20 61 6e 64 20 72 65 61 |edicates| and rea|
|00000d50| 73 6f 6e 61 62 6c 65 20 | 70 65 72 66 6f 72 6d 61 |sonable |performa|
|00000d60| 6e 63 65 2c 20 77 68 69 | 63 68 20 6d 61 6b 65 73 |nce, whi|ch makes|
|00000d70| 20 69 74 0a 70 6f 73 73 | 69 62 6c 65 20 74 6f 20 | it.poss|ible to |
|00000d80| 64 65 76 65 6c 6f 70 20 | 73 75 62 73 74 61 6e 74 |develop |substant|
|00000d90| 69 61 6c 20 61 70 70 6c | 69 63 61 74 69 6f 6e 73 |ial appl|ications|
|00000da0| 20 69 6e 20 69 74 2e 20 | 20 54 68 65 20 63 75 72 | in it. | The cur|
|00000db0| 72 65 6e 74 0a 76 65 72 | 73 69 6f 6e 20 6f 66 66 |rent.ver|sion off|
|00000dc0| 65 72 73 20 61 20 6d 6f | 64 75 6c 65 20 73 79 73 |ers a mo|dule sys|
|00000dd0| 74 65 6d 2c 20 67 61 72 | 62 61 67 65 20 63 6f 6c |tem, gar|bage col|
|00000de0| 6c 65 63 74 69 6f 6e 20 | 61 6e 64 20 61 6e 20 69 |lection |and an i|
|00000df0| 6e 74 65 72 66 61 63 65 | 20 74 6f 0a 74 68 65 20 |nterface| to.the |
|00000e00| 43 20 6c 61 6e 67 75 61 | 67 65 2e 0a 0a 54 68 69 |C langua|ge...Thi|
|00000e10| 73 20 64 6f 63 75 6d 65 | 6e 74 20 67 69 76 65 73 |s docume|nt gives|
|00000e20| 20 61 6e 20 6f 76 65 72 | 76 69 65 77 20 6f 66 20 | an over|view of |
|00000e30| 74 68 65 20 66 65 61 74 | 75 72 65 73 2c 20 73 79 |the feat|ures, sy|
|00000e40| 73 74 65 6d 20 6c 69 6d | 69 74 73 20 61 6e 64 0a |stem lim|its and.|
|00000e50| 62 75 69 6c 74 2d 69 6e | 20 70 72 65 64 69 63 61 |built-in| predica|
|00000e60| 74 65 73 2e 0a 5c 65 6e | 64 7b 71 75 6f 74 65 7d |tes..\en|d{quote}|
|00000e70| 0a 5c 76 66 69 6c 0a 5c | 76 66 69 6c 0a 5c 62 65 |.\vfil.\|vfil.\be|
|00000e80| 67 69 6e 7b 71 75 6f 74 | 65 7d 0a 43 6f 70 79 72 |gin{quot|e}.Copyr|
|00000e90| 69 67 68 74 20 5c 63 6f | 70 79 72 69 67 68 74 5c |ight \co|pyright\|
|00000ea0| 20 31 39 39 30 2d 2d 5c | 76 79 65 61 72 2c 20 55 | 1990--\|vyear, U|
|00000eb0| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 41 6d 73 |niversit|y of Ams|
|00000ec0| 74 65 72 64 61 6d 0a 5c | 65 6e 64 7b 71 75 6f 74 |terdam.\|end{quot|
|00000ed0| 65 7d 0a 5c 73 65 74 63 | 6f 75 6e 74 65 72 7b 70 |e}.\setc|ounter{p|
|00000ee0| 61 67 65 7d 7b 31 7d 0a | 5c 65 6e 64 7b 74 69 74 |age}{1}.|\end{tit|
|00000ef0| 6c 65 70 61 67 65 7d 0a | 0a 5c 74 61 62 6c 65 6f |lepage}.|.\tableo|
|00000f00| 66 63 6f 6e 74 65 6e 74 | 73 0a 0a 5c 69 6e 63 6c |fcontent|s..\incl|
|00000f10| 75 64 65 7b 69 6e 74 72 | 6f 7d 0a 5c 69 6e 63 6c |ude{intr|o}.\incl|
|00000f20| 75 64 65 7b 6f 76 65 72 | 76 69 65 77 7d 0a 5c 69 |ude{over|view}.\i|
|00000f30| 6e 63 6c 75 64 65 7b 62 | 75 69 6c 74 69 6e 7d 0a |nclude{b|uiltin}.|
|00000f40| 5c 69 6e 63 6c 75 64 65 | 7b 6d 6f 64 75 6c 65 7d |\include|{module}|
|00000f50| 0a 5c 69 6e 63 6c 75 64 | 65 7b 66 6f 72 65 69 67 |.\includ|e{foreig|
|00000f60| 6e 7d 0a 5c 69 6e 63 6c | 75 64 65 7b 72 75 6e 74 |n}.\incl|ude{runt|
|00000f70| 69 6d 65 7d 0a 5c 61 70 | 70 65 6e 64 69 78 0a 5c |ime}.\ap|pendix.\|
|00000f80| 69 6e 63 6c 75 64 65 7b | 68 61 63 6b 7d 0a 5c 69 |include{|hack}.\i|
|00000f90| 6e 63 6c 75 64 65 7b 73 | 75 6d 6d 61 72 79 7d 0a |nclude{s|ummary}.|
|00000fa0| 0a 5c 62 69 62 6c 69 6f | 67 72 61 70 68 79 73 74 |.\biblio|graphyst|
|00000fb0| 79 6c 65 7b 6e 61 6d 65 | 7d 0a 5c 62 69 62 6c 69 |yle{name|}.\bibli|
|00000fc0| 6f 67 72 61 70 68 79 7b | 70 6c 7d 0a 5c 70 72 69 |ography{|pl}.\pri|
|00000fd0| 6e 74 69 6e 64 65 78 0a | 0a 5c 65 6e 64 7b 64 6f |ntindex.|.\end{do|
|00000fe0| 63 75 6d 65 6e 74 7d 0a | |cument}.| |
+--------+-------------------------+-------------------------+--------+--------+
